GasP model in Archsim

Archsim is an event-based behavioral simulator intended for architectural explorations of Fleet [?] structures. This document outlines a model framework that we built for Archsim. The framework follows the notation from [?]. Building blocks of the model map to GasP control circuits [?]. Consequently, we expect that it should not be too difficult to automate translation from a model to a schematic, at least for control structures. References [1] Ebergen: “Revised notation for designing GasP Circuits”, SML 2000-0379 [2] Benko: “Archisim Structure”, SML 2005-0103 [3] Benko, Sutherland: “StateWires, ActionBoxes, and TerminalArrows”, SML-2005-is02 [4] Coates, Lexau, Jones: FLEETzero: An asynchronous switching experiment”, SML 2000-0768 [5] Sutherland, Fairbanks: “GasP: A minimal FIFO control”, SML 2000-0756 [6] Ebergen, Sutherland, Tourancheau: “Arbiters with Preferential Enables”, SML2003-0552 UC Berkeley Computer Science This document is a product of a collaboration between Sun Microsystems and the University of California at Berkeley. The ideas contained herein are freely available for any academic purpose.